Struct isotope_parser::ast::Pi [−][src]
pub struct Pi { pub param_name: Option<Option<SmolStr>>, pub param_ty: Arc<Expr>, pub result: Arc<Expr>, }
Expand description
A dependent function type
Fields
param_name: Option<Option<SmolStr>>
The parameter name of this dependent function type, if any
param_ty: Arc<Expr>
The parameter type of this dependent function type
result: Arc<Expr>
The result of this lambda function
Implementations
pub fn pretty<'a, D, A>(&'a self, allocator: &'a D) -> DocBuilder<'a, D, A> where
D: DocAllocator<'a, A>,
D::Doc: Clone,
A: Clone,
[src]
pub fn pretty<'a, D, A>(&'a self, allocator: &'a D) -> DocBuilder<'a, D, A> where
D: DocAllocator<'a, A>,
D::Doc: Clone,
A: Clone,
[src]Prettyprint a pi type
Trait Implementations
Auto Trait Implementations
Blanket Implementations
Mutably borrows from an owned value. Read more